'\" t
.\"     Title: 
    dfa_determinize
  
.\"    Author: 
.\" Generator: DocBook XSL Stylesheets v1.76.1 <http://docbook.sf.net/>
.\"      Date: 19/12/2013
.\"    Manual: 
.\"    Source: 
.\"  Language: Japanese
.\"
.TH "DFA_DETERMINIZE" "1" "19/12/2013" ""
.\" -----------------------------------------------------------------
.\" * Define some portability stuff
.\" -----------------------------------------------------------------
.\" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.\" http://bugs.debian.org/507673
.\" http://lists.gnu.org/archive/html/groff/2009-02/msg00013.html
.\" ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.ie \n(.g .ds Aq \(aq
.el       .ds Aq '
.\" -----------------------------------------------------------------
.\" * set default formatting
.\" -----------------------------------------------------------------
.\" disable hyphenation
.nh
.\" disable justification (adjust text to left margin only)
.ad l
.\" -----------------------------------------------------------------
.\" * MAIN CONTENT STARTS HERE *
.\" -----------------------------------------------------------------
.SH "名前"

    dfa_determinize
   \- 有限オートマトン文法を決定化する
.SH "概要"
.HP \w'\fBdfa_determinize\fR\ 'u
\fBdfa_determinize\fR [\-o\ \fIoutfile\fR] {dfafile}
.SH "DESCRIPTION"
.PP
dfa_determinize は，\&.dfa ファイルを等価な決定性 \&.dfa ファイルに変換し， 標準出力に出力します．オプション
\fB\-o\fR
で出力先を 指定することもできます．
.PP

\fBmkdfa\&.pl\fR
が生成するDFAは常に決定化されており， 通常，\fBmkdfa\&.pl\fR
で作成された \&.dfa ファイルに対して このツールを使う必要はありません．
.SH "OPTIONS"
.PP
\fB \-o \fR \fIoutfile\fR
.RS 4
出力ファイル名を指定する．
.RE
.SH "EXAMPLES"
.PP

foo\&.dfa
を決定化して
bar\&.dfa
に 保存する．
.sp .if n \{\ .RS 4 .\} .nf % \fBdfa_determinize\fR \-o bar\&.dfa foo\&.dfa .fi .if n \{\ .RE .\}
別の方法：
.sp .if n \{\ .RS 4 .\} .nf % \fBdfa_determinize\fR < foo\&.dfa > bar\&.dfa .fi .if n \{\ .RE .\}
.SH "SEE ALSO"
.PP

\fB mkdfa.pl \fR( 1 )
,
\fB dfa_minimize \fR( 1 )
.SH "COPYRIGHT"
.PP
Copyright (c) 1991\-2013 京都大学 河原研究室
.PP
Copyright (c) 1997\-2000 情報処理振興事業協会(IPA)
.PP
Copyright (c) 2000\-2005 奈良先端科学技術大学院大学 鹿野研究室
.PP
Copyright (c) 2005\-2013 名古屋工業大学 Julius開発チーム
.SH "LICENSE"
.PP
Julius の使用許諾に準じます．
